نمایش نتایج جستجو برای
کلمات کلیدی: Object-Z
موارد یافت شده: 4
1 - Empirical Evaluation of Modeling Languages Using Multi-Lift System Case Study (چکیده)2 - A New Approach to Reliable, yet Flexible Software (چکیده)
3 - مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z (چکیده)
4 - Developing Reliable yet Flexible Software through If-Then Model Transformation Rules (چکیده)
